structure S =
struct
  datatype t = X of t | Y
end
